На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
общая лексика
дисковод [, выбираемый] по умолчанию, текущий диск
Логический диск, к которому производится обращение ОС, если в команде или имени файла не указано имя устройства. Этот диск обычно можно переназначить
синоним
Смотрите также
общая лексика
типовая конфигурация, стандартная конфигурация, поставочная конфигурация (программной системы)
Смотрите также
['draiv'θru:]
фразовый глагол
общая лексика
проезжать (через город, деревню и т. п.)
пронзать
пробивать
вести
проводить
осуществлять
[draiv'θru:]
автомобильное дело
оборудованный для наблюдения без выхода из движущегося автомобиля
прилагательное
автомобильное дело
сконструированный или оборудованный для наблюдения без выхода из движущегося автомобиля
['draivin]
общая лексика
разгонка примеси после ионной имплантации
кинотеатр
в который можно въехать на автомобиле
существительное
общая лексика
ресторан для автомобилистов (еду подают прямо в автомобили)
кино для автомобилистов на открытом воздухе (фильм смотрят из автомобилей)
магазин или банк для автомобилистов (клиентов обслуживают прямо в автомобилях)
магазин, банк, мастерская и т. п. (где обслуживают клиентов прямо в автомобилях)
['draiv'in]
общая лексика
въехать
вдолбить в кого-л.
вбивать (гвоздь)
фразовый глагол
общая лексика
загонять
вгонять
всаживать
вбивать
въезжать
Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.
Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that something is false. This is a problem because reasoning often involves facts that are true in the majority of cases but not always. A classical example is: “birds typically fly”. This rule can be expressed in standard logic either by “all birds fly”, which is inconsistent with the fact that penguins do not fly, or by “all birds that are not penguins and not ostriches and ... fly”, which requires all exceptions to the rule to be specified. Default logic aims at formalizing inference rules like this one without explicitly mentioning all their exceptions.